Birmingham

Results: 8627



#Item
111

DTKI: a new formalized PKI with verifiable trusted parties Jiangshan Yu1 , Vincent Cheval2 and Mark Ryan1 1 School of Computer Science, University of Birmingham, UK

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2016-07-08 05:44:34
    112

    Caveat Coercitor Mark Ryan and Peter Y. A. Ryan University of Birmingham University of Luxembourg

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2011-11-01 10:04:57
      113

      Call for Papers Friends and colleagues, We invite paper submissions for the conference on “Expectations in Dynamic Macroeconomic Models,” to be held at the University of Birmingham, UK, this

      Add to Reading List

      Source URL: exside-itn.eu

      Language: English - Date: 2018-03-12 07:03:07
        114

        BIRMINGHAM PUBLIC LIBRARY ANNUAL REPORT MISSION

        Add to Reading List

        Source URL: www.bham.lib.al.us

        Language: English - Date: 2018-03-06 15:18:22
          115

          Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

          Add to Reading List

          Source URL: www.cs.bham.ac.uk.

          Language: English - Date: 2010-04-20 09:42:28
            116

            The Suzuki groups Robert A. Wilson University of Birmingham, 23rd March

            Add to Reading List

            Source URL: www.maths.qmul.ac.uk

            Language: English - Date: 2011-03-22 08:02:16
              117

              2018 EXHIBITOR GUIDE BIRMINGHAM 1ST– 3RD JUNE 2018

              Add to Reading List

              Source URL: www.ukgamesexpo.co.uk

              Language: English - Date: 2017-09-25 18:06:34
                118

                Precise Electroweak Results from LEP2 David G. Charlton Royal Society University Research Fellow School of Physics and Astronomy The University of Birmingham

                Add to Reading List

                Source URL: www.slac.stanford.edu

                Language: English - Date: 2001-04-04 18:07:50
                  119

                  Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

                  Add to Reading List

                  Source URL: www.cs.bham.ac.uk.

                  Language: English - Date: 2009-02-25 10:33:23
                    120

                    Minute NostoBOARD MEETING Minutes of a meeting of the British Waterways Board (the Board) held at Jurys Inn, 245 Broad Street, Birmingham B1 2HQ on Thursday 19 May 2011 at 9.00am

                    Add to Reading List

                    Source URL: www.britishwaterways.co.uk

                    Language: English - Date: 2012-06-28 13:37:36
                      UPDATE